#include <linux/kernel.h>
#include <linux/init.h>

__weak void machine_init(void)
{
    
}

extern unsigned long setup_vectors_base(void);

void __init setup_arch(char **cmdline_p)
{
    setup_vectors_base();

    machine_init();
}
